Outline of a Formalization of JADE Multi-Agent Systems
نویسندگان
چکیده
This paper proposes a formalization of JADE agents and multi-agent systems based on transition systems. The first section introduces the aims and scope of the research and it focuses the content of the paper. The second section enumerates the abstractions and the structures used in the formalization. Successively, third section presents the formal semantics of the parts of a JADE-based source code that are involved in the management of (i) the life cycle of agents and (ii) the behaviours of agents. Fourth section shows a very simple JADE agent and it exemplifies the use of the proposed transition system. Finally, a brief recapitulation of the work concludes the paper.
منابع مشابه
Voltage Coordination of FACTS Devices in Power Systems Using RL-Based Multi-Agent Systems
This paper describes how multi-agent system technology can be used as the underpinning platform for voltage control in power systems. In this study, some FACTS (flexible AC transmission systems) devices are properly designed to coordinate their decisions and actions in order to provide a coordinated secondary voltage control mechanism based on multi-agent theory. Each device here is modeled as ...
متن کاملOverview of a Formal Semantics for the JADEL Programming Language
This paper outlines a first proposal of a formal semantics for the JADEL programming language. JADEL is an agent-oriented programming language based on JADE that has been recently proposed to ease the adoption of JADE, and to promote its use. In previous works, JADEL was specified at the syntax level, and only an informal semantics was given. The major contribution of this paper is to outline a...
متن کاملOn the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol
Attribute global types are a formalism for specifying and dynamically verifying multi-party agents interaction protocols. They allow the multiagent system designer to easily express synchronization constraints among protocol branches and global constraints on sub-sequences of the allowed protocol traces. FYPA (Find Your Path, Agent!) is a multiagent system implemented in Jade currently being us...
متن کاملA Methodology for the Analysis and Design of Multi-Agent Systems using JADE
A methodology is proposed for the development of multi-agent systems using the JADE platform. The proposed methodology focuses on the key issues in the analysis and design of multi-agent systems. The analysis phase is generic in nature, while the design phase specifically focuses on the constructs provided by the popular FIPA-compliant JADE platform. The methodology essentially serves as a guid...
متن کاملMiddleware and Programming Support for Agent Systems
JADE (Java Agent Development Framework) is a software environment to build agent systems for the management of networked information resources in compliance with the FIPA2000 specifications for interoperable intelligent multi-agent systems. JADE offers an agent middleware to implement efficient FIPA2000 compliant multi-agent systems and supports their development through the availability of a p...
متن کامل